This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Lire la suite